existential quantifier nghĩa là gì

Từ điển kỹ thuật

• lượng hóa tồn tại

• symbol of existential quantifier
  ký hiệu lượng hóa tồn tại

• symbol of existential quantifier:    Từ điển kỹ thuậtLĩnh vực: toán & tinký hiệu lượng hóa tồn tại
• existential:    [,egzis'tenʃəl]tính từ(thuộc) sự tồn tại, (thuộc) sự sống, (thuộc) sự sống còn(triết học) khẳng định sự tồn tại
• quantifier:    (logic học) phép lượng hoábounded q. phép lượng hoá bị chặnexistential q. phép lượng hoá tồn tạigenerality q. phép lượng hoá phổ dụnguniversal q. phép lượng hoá phổ dụngTừ điển kỹ thuậtlượng từLĩnh

Câu ví dụ

The symbol ∃ is called the existential quantifier.
Ký hiệu ∃ (đọc là tồn tại) được gọi là lượng từ tồn tại.

The symbol ∃ is known as existential quantifier.
Ký hiệu ∃ (đọc là tồn tại) được gọi là lượng từ tồn tại.

These can be assigned values or can be quantified as to when they apply with the universal quantifier (always apply) or the existential quantifier (applies at least once).
Các biến này có thể được gán các giá trị hay có thể được định lượng ở chỗ khi chúng áp dụng với lượng từ phổ quát (luôn luôn áp dụng) hay lượng từ tồn tại (áp dụng ít nhất là một lần).